Monte Carlo Simulation / Statistical Physics / Mathematical Sciences / Physical sciences / First-Order Logic / First Order Logic / Low Temperature / Potts Model / Critical Temperature / First Order Logic / Low Temperature / Potts Model / Critical Temperature